41 results
7 - Lower bounds from division and multiplication
- from Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 191-202
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp i-iv
-
- Chapter
- Export citation
Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 127-128
-
- Chapter
- Export citation
References
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 229-236
-
- Chapter
- Export citation
Symbol index
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 237-238
-
- Chapter
- Export citation
8 - Non-uniform complexity in N
- from Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 203-208
-
- Chapter
- Export citation
Part I - Abstract (first order) recursion
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 47-48
-
- Chapter
- Export citation
2 - Recursive (McCarthy) programs
- from Part I - Abstract (first order) recursion
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 49-102
-
- Chapter
- Export citation
9 - Polynomial nullity (0-testing)
- from Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 209-228
-
- Chapter
- Export citation
5 - Lower bounds from Presburger primitives
- from Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 159-170
-
- Chapter
- Export citation
General index
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 239-243
-
- Chapter
- Export citation
6 - Lower bounds from division with remainder
- from Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 171-190
-
- Chapter
- Export citation
4 - The homomorphism method
- from Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 129-158
-
- Chapter
- Export citation
1 - Preliminaries
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 7-46
-
- Chapter
- Export citation
Contents
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp v-viii
-
- Chapter
- Export citation
3 - Complexity theory for recursive programs
- from Part I - Abstract (first order) recursion
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 103-126
-
- Chapter
- Export citation
Introduction
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 1-6
-
- Chapter
- Export citation
Abstract Recursion and Intrinsic Complexity
-
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018
Sense and denotation as algorithm and value
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 210-249
-
- Chapter
- Export citation
Measurable cardinals in playful models
- from PART V - HOD AND ITS LOCAL VERSIONS
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 115-125
-
- Chapter
- Export citation